/*
 * memory_utils.h
 *
 *  Created on: Jul 22, 2012
 *      Author: baris
 */

#ifndef MEMORY_UTILS_H_
#define MEMORY_UTILS_H_

#include "datatypes.h"

void free_subclass_axioms(TBox* tbox);

void free_tbox(TBox* tbox);

#endif /* MEMORY_UTILS_H_ */
